1 单调性
设 , 则 在 上单调增等价于 . 同理, 在 上单调减等价于 .
由可导性结合 函数极限的保号性, 当 在 上单调增, 则 :
同样地, 当 , 则由保号性得 时
也即 , 从而 在 上单调增.
同样地容易看出,
在 上严格单增.
需要说明的是, 结论的反向并不正确, 如 在 上严格单增, 但 .
为了得到严格单调下的等价结论, 我们有
在上严格单调增 , 且对 , 不恒有 .
-
"" 由 定理, 得 . 假设 . 那么 , 与函数的严格单调性矛盾.
-
"" 由 同一个定理, 在 上单调增. 假设 的单调性不是严格的, 也即 , 从而 , 也即 , 从而产生矛盾.
2 极值
设 在 处连续, 在 内可导, 则:
- 若 则 是严格极小值点.
- 若 则 是严格极大值点.
由 推论, 是显然的.
需要说明的是, 两个结论反向都不成立, 例如取 在 处连续, 在 的任何一个去心邻域上可导, 并且 是一个严格极小值点, 但是在 时,
故
由 知不存在这样的 使得 在 上恒成立, 因此产生矛盾.
设 在 处二阶可导, 且 , 则
- 若 , 则 是严格极小值点.
- 若 , 则 是严格极大值点.
我们只证明 (1). 由于 ,
结合 保号性 可得 因此由 第一充分条件 得证.
设 在 处 阶可导 ,
则 是奇数时, 不是极值点; 是偶数时, 是严格极值点, 且若 , 是严格极小值点; 若 , 是严格极大值点.
由 带 Peano 余项的 Taylor 公式,
故
故 在 的某去心邻域内与 同号, 且严格地不为零.
在 是奇数时, 的大小关系在 两侧不同, 因此 不是极值点.
在 是偶数时, , 容易做出判断.
因此推论获证.
3 最值的计算
根据极值点的定义结合前面的讨论, 我们容易看出,
- 设 , 设可能的极值点为 , 如果个数有限, 那么
- 对区间 , 若 , 且在 上有唯一的极大 (小) 值点, 则该点必为最大 (小) 值点. 特别地, 设 , 在 上只有唯一的驻点, 且是极大 (小) 值点, 那么此点一定是最大 (小) 值点.
4 函数的凸性
对区间 , 若 :
则称 在 上是下凸函数. 若将不等号反向, 称 在 上是上凸函数.
若不等式不能取等, 又可以定义严格下凸函数、严格上凸函数.
由等价性, 我们下面讨论下凸函数的有关性质.
若 在 上是下凸, 则 在 上是下凸.
设 . 由已知, :
从而
因此 是 上的下凸函数.
在 上下凸 :
容易化得
将 视作变量, . 令 , 则 .
, 从而上式等价于
这即是 在 上下凸.
设 在 上可导, 则 在 上下凸 .
- "" 设 在 上下凸, 对任意 , 不妨设 , 取 , 则
令 :
整理即得证.
- "" , 令 , 则
从而
故 在 上下凸.